計算機科学のための数学談話会 完 数学と計算機科学